Liên kết ngoài Định

Tư duy phản biện Informal logic	• Analysis • Ambiguity • Luận cứ • Tín ngưỡng • Thiên kiến • Credibility • Evidence • Explanation • Explanatory power • Sự thật • Ngụy biện • Inquiry • Ý kiến • Dao cạo Ockham • Premise • Tuyên truyền • Prudence • Lý tính • Relevance • Tu từ học • Rigor • Vagueness
Lý luận triết học	• Constructivism • Dialetheism • Fictionalism • Finitism • Formalism • Intuitionism • Logical atomism • Logicism • Chủ nghĩa duy danh • Platonic realism • Chủ nghĩa thực dụng • Chủ nghĩa duy thực

• Định lý đường chéo Cantor

• Church's theorem • Church's thesis • Consistency • Effective method • Foundations of mathematics • Gödel's completeness theorem • Gödel's incompleteness theorems • Soundness • Completeness • Decidability • Interpretation • Löwenheim–Skolem theorem • Metatheorem • Satisfiability • Independence • Type–token distinction

• Use–mention distinction

Logic toán

General	• Ngôn ngữ hình thức • Formation rule • Formal system • Deductive system • Formal proof • Formal semantics • Well-formed formula • Tập hợp • Element • Class • Classical logic • Tiên đề • Natural deduction • Rule of inference • Quan hệ (toán học) • Định lý toán học • Logical consequence • Axiomatic system • Type theory • Symbol • Syntax • Theory
Thuật ngữ lý luận học	• Mệnh đề toán học • Inference • Luận cứ logic • Validity • Cogency • Tam đoạn luận • Square of opposition • Sơ đồ Venn
Propositional calculus Đại số Boole	• Boolean functions • Propositional calculus • Propositional formula • Logical connectives • Truth tables
Predicate logic	• First-order • Quantifiers • Predicate • Second-order • Monadic predicate calculus
Lý thuyết tập hợp	• Tập hợp • Tập hợp rỗng • Enumeration • Extensionality • Finite set • Hàm số • Tập hợp con • Tập lũy thừa • Tập hợp đếm được • Recursive set • Tập xác định • Range • Ordered pair • Uncountable set
Lý thuyết mô hình	• Model • Interpretation • Non-standard model • Finite model theory • Truth value • Validity
Lý thuyết chứng minh	• Formal proof • Deductive system • Formal system • Định lý toán học • Logical consequence • Rule of inference • Syntax
Computability theory	• Recursion • Recursive set • Recursively enumerable set • Decision problem • Church–Turing thesis • Computable function • Primitive recursive function

Lý luận học phi cổ điển

Modal logic	• Alethic • Axiologic • Deontic • Doxastic • Epistemic • Temporal
Intuitionism	• Intuitionistic logic • Constructive analysis • Heyting arithmetic • Intuitionistic type theory • Constructive set theory
Logic mờ	• Degree of truth • Fuzzy rule • Tập mờ • Fuzzy finite element • Fuzzy set operations
Substructural logic	• Structural rule • Relevance logic • Linear logic
Paraconsistent logic	• Dialetheism
Logic mô tả	• Bản thể luận • Ontology language

Danh sách các nhà lý luận học

• Anderson

• Aristoteles • Averroes • Avicenna • Bain • Barwise • Bernays • George Boole • Boolos • Georg Cantor • Carnap • Church • Chrysippus • Curry • De Morgan • Gottlob Frege • Geach • Gentzen • Kurt Gödel • David Hilbert • Kleene • Kripke • Gottfried Leibniz • Löwenheim • Giuseppe Peano • Charles Sanders Peirce • Hilary Putnam • Quine • Bertrand Russell • Schröder • John Duns Scotus • Skolem • Smullyan • Tarski • Alan Turing • Whitehead • William xứ Ockham • Ludwig Wittgenstein

• Zermelo

Danh sách

Chủ đề	• Index of logic articles • Mathematical logic • Boolean algebra • Set theory
Other	• Logicians • Rules of inference • Paradoxes • Fallacies • Logic symbols

Common logical symbols
& ∨ ¬ ~ → ⊃ ≡ \| ∀ ∃ ⊤ ⊥ ⊢ ⊨ ∴ ∵

• Portal

• Thể loại • Outline • WikiProject • Talk

changes

Bản mẫu:Aristotelian logic

Logic

Tổng quan

Lĩnh vực giáo dục

• Argumentation theory

• Lý thuyết tập hợp

Nền tảng

• Abduction

• Validity

Lý luận triết học

Tư duy phản biện Informal logic	• Analysis • Ambiguity • Luận cứ • Tín ngưỡng • Thiên kiến • Credibility • Evidence • Explanation • Explanatory power • Sự thật • Ngụy biện • Inquiry • Ý kiến • Dao cạo Ockham • Premise • Tuyên truyền • Prudence • Lý tính • Relevance • Tu từ học • Rigor • Vagueness
Lý luận triết học	• Constructivism • Dialetheism • Fictionalism • Finitism • Formalism • Intuitionism • Logical atomism • Logicism • Chủ nghĩa duy danh • Platonic realism • Chủ nghĩa thực dụng • Chủ nghĩa duy thực

• Định lý đường chéo Cantor

• Use–mention distinction

Logic toán

General	• Ngôn ngữ hình thức • Formation rule • Formal system • Deductive system • Formal proof • Formal semantics • Well-formed formula • Tập hợp • Element • Class • Classical logic • Tiên đề • Natural deduction • Rule of inference • Quan hệ (toán học) • Định lý toán học • Logical consequence • Axiomatic system • Type theory • Symbol • Syntax • Theory
Thuật ngữ lý luận học	• Mệnh đề toán học • Inference • Luận cứ logic • Validity • Cogency • Tam đoạn luận • Square of opposition • Sơ đồ Venn
Propositional calculus Đại số Boole	• Boolean functions • Propositional calculus • Propositional formula • Logical connectives • Truth tables
Predicate logic	• First-order • Quantifiers • Predicate • Second-order • Monadic predicate calculus
Lý thuyết tập hợp	• Tập hợp • Tập hợp rỗng • Enumeration • Extensionality • Finite set • Hàm số • Tập hợp con • Tập lũy thừa • Tập hợp đếm được • Recursive set • Tập xác định • Range • Ordered pair • Uncountable set
Lý thuyết mô hình	• Model • Interpretation • Non-standard model • Finite model theory • Truth value • Validity
Lý thuyết chứng minh	• Formal proof • Deductive system • Formal system • Định lý toán học • Logical consequence • Rule of inference • Syntax
Computability theory	• Recursion • Recursive set • Recursively enumerable set • Decision problem • Church–Turing thesis • Computable function • Primitive recursive function

Lý luận học phi cổ điển

Modal logic	• Alethic • Axiologic • Deontic • Doxastic • Epistemic • Temporal
Intuitionism	• Intuitionistic logic • Constructive analysis • Heyting arithmetic • Intuitionistic type theory • Constructive set theory
Logic mờ	• Degree of truth • Fuzzy rule • Tập mờ • Fuzzy finite element • Fuzzy set operations
Substructural logic	• Structural rule • Relevance logic • Linear logic
Paraconsistent logic	• Dialetheism
Logic mô tả	• Bản thể luận • Ontology language

Danh sách các nhà lý luận học

• Anderson

• Zermelo

Danh sách

Chủ đề	• Index of logic articles • Mathematical logic • Boolean algebra • Set theory
Other	• Logicians • Rules of inference • Paradoxes • Fallacies • Logic symbols

Common logical symbols
& ∨ ¬ ~ → ⊃ ≡ \| ∀ ∃ ⊤ ⊥ ⊢ ⊨ ∴ ∵

• Portal

• Thể loại • Outline • WikiProject • Talk

changes

Tiêu đề chuẩn	GND: 4148989-5